Extensions 1→N→G→Q→1 with N=D4:C4 and Q=C22

Direct product G=NxQ with N=D4:C4 and Q=C22
dρLabelID
C22xD4:C464C2^2xD4:C4128,1622

Semidirect products G=N:Q with N=D4:C4 and Q=C22
extensionφ:Q→Out NdρLabelID
D4:C4:1C22 = C23:3D8φ: C22/C1C22 ⊆ Out D4:C432D4:C4:1C2^2128,1918
D4:C4:2C22 = C24.123D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:2C2^2128,1922
D4:C4:3C22 = C42.263D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:3C2^2128,1937
D4:C4:4C22 = C42.410C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:4C2^2128,1956
D4:C4:5C22 = D4xD8φ: C22/C1C22 ⊆ Out D4:C432D4:C4:5C2^2128,2011
D4:C4:6C22 = D4:4D8φ: C22/C1C22 ⊆ Out D4:C432D4:C4:6C2^2128,2026
D4:C4:7C22 = C42.474C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:7C2^2128,2057
D4:C4:8C22 = C24.177D4φ: C22/C1C22 ⊆ Out D4:C416D4:C4:8C2^2128,1735
D4:C4:9C22 = C24.104D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:9C2^2128,1737
D4:C4:10C22 = C24.105D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:10C2^2128,1738
D4:C4:11C22 = C24.106D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:11C2^2128,1739
D4:C4:12C22 = C4oD4:D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:12C2^2128,1740
D4:C4:13C22 = D4.(C2xD4)φ: C22/C1C22 ⊆ Out D4:C432D4:C4:13C2^2128,1741
D4:C4:14C22 = (C2xD4):21D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:14C2^2128,1744
D4:C4:15C22 = C42.211D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:15C2^2128,1768
D4:C4:16C22 = C42.444D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:16C2^2128,1770
D4:C4:17C22 = C42.18C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:17C2^2128,1777
D4:C4:18C22 = C24.183D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:18C2^2128,1824
D4:C4:19C22 = C24.116D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:19C2^2128,1825
D4:C4:20C22 = C24.117D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:20C2^2128,1826
D4:C4:21C22 = C42.227D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:21C2^2128,1841
D4:C4:22C22 = C42.232D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:22C2^2128,1846
D4:C4:23C22 = C42.356C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:23C2^2128,1854
D4:C4:24C22 = C24.125D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:24C2^2128,1924
D4:C4:25C22 = C24.126D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:25C2^2128,1925
D4:C4:26C22 = C24.127D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:26C2^2128,1926
D4:C4:27C22 = C24.129D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:27C2^2128,1928
D4:C4:28C22 = C24.130D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:28C2^2128,1929
D4:C4:29C22 = C4.2+ 1+4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:29C2^2128,1930
D4:C4:30C22 = C4.142+ 1+4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:30C2^2128,1931
D4:C4:31C22 = C42.275D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:31C2^2128,1949
D4:C4:32C22 = C42.406C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:32C2^2128,1952
D4:C4:33C22 = C42.408C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:33C2^2128,1954
D4:C4:34C22 = D8:9D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:34C2^2128,1996
D4:C4:35C22 = SD16:D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:35C2^2128,1997
D4:C4:36C22 = D8:10D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:36C2^2128,1999
D4:C4:37C22 = SD16:7D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:37C2^2128,2000
D4:C4:38C22 = SD16:1D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:38C2^2128,2006
D4:C4:39C22 = SD16:2D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:39C2^2128,2007
D4:C4:40C22 = C42.45C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:40C2^2128,2042
D4:C4:41C22 = C42.53C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:41C2^2128,2050
D4:C4:42C22 = C23:4SD16φ: C22/C1C22 ⊆ Out D4:C432D4:C4:42C2^2128,1919
D4:C4:43C22 = C24.121D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:43C2^2128,1920
D4:C4:44C22 = C24.124D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:44C2^2128,1923
D4:C4:45C22 = C42.266D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:45C2^2128,1940
D4:C4:46C22 = D4xSD16φ: C22/C1C22 ⊆ Out D4:C432D4:C4:46C2^2128,2013
D4:C4:47C22 = SD16:10D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:47C2^2128,2014
D4:C4:48C22 = D4:7SD16φ: C22/C1C22 ⊆ Out D4:C432D4:C4:48C2^2128,2027
D4:C4:49C22 = C42.473C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:49C2^2128,2056
D4:C4:50C22 = M4(2):14D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:50C2^2128,1787
D4:C4:51C22 = M4(2):15D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:51C2^2128,1788
D4:C4:52C22 = (C2xC8):12D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:52C2^2128,1790
D4:C4:53C22 = C42.240D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4:53C2^2128,1870
D4:C4:54C22 = C42.41C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:54C2^2128,2038
D4:C4:55C22 = C42.54C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4:55C2^2128,2051
D4:C4:56C22 = C2xC8:8D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:56C2^2128,1779
D4:C4:57C22 = C2xC8:7D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:57C2^2128,1780
D4:C4:58C22 = C24.144D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:58C2^2128,1782
D4:C4:59C22 = C2xC4.4D8φ: C22/C2C2 ⊆ Out D4:C464D4:C4:59C2^2128,1860
D4:C4:60C22 = C42.462C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4:60C2^2128,2029
D4:C4:61C22 = C2xC22:D8φ: C22/C2C2 ⊆ Out D4:C432D4:C4:61C2^2128,1728
D4:C4:62C22 = C2xD4.7D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:62C2^2128,1733
D4:C4:63C22 = C2xC4:D8φ: C22/C2C2 ⊆ Out D4:C464D4:C4:63C2^2128,1761
D4:C4:64C22 = C42.14C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4:64C2^2128,1773
D4:C4:65C22 = C2xC22.D8φ: C22/C2C2 ⊆ Out D4:C464D4:C4:65C2^2128,1817
D4:C4:66C22 = C2xC23.19D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:66C2^2128,1819
D4:C4:67C22 = C42.221D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:67C2^2128,1832
D4:C4:68C22 = D8:5D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:68C2^2128,2005
D4:C4:69C22 = C2xC22:SD16φ: C22/C2C2 ⊆ Out D4:C432D4:C4:69C2^2128,1729
D4:C4:70C22 = C2xD4:D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:70C2^2128,1732
D4:C4:71C22 = C24.103D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:71C2^2128,1734
D4:C4:72C22 = (C2xQ8):16D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:72C2^2128,1742
D4:C4:73C22 = C2xD4.2D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:73C2^2128,1763
D4:C4:74C22 = C2xC4:SD16φ: C22/C2C2 ⊆ Out D4:C464D4:C4:74C2^2128,1764
D4:C4:75C22 = C42.15C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4:75C2^2128,1774
D4:C4:76C22 = C42.16C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4:76C2^2128,1775
D4:C4:77C22 = C2xC23.46D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:77C2^2128,1821
D4:C4:78C22 = C24.115D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:78C2^2128,1823
D4:C4:79C22 = C42.225D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:79C2^2128,1837
D4:C4:80C22 = C42.352C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4:80C2^2128,1850
D4:C4:81C22 = D8:4D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:81C2^2128,2004
D4:C4:82C22 = D8:12D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:82C2^2128,2012
D4:C4:83C22 = C2xC23.37D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:83C2^2128,1625
D4:C4:84C22 = C2xC23.36D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:84C2^2128,1627
D4:C4:85C22 = C24.98D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:85C2^2128,1628
D4:C4:86C22 = 2+ 1+4:5C4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:86C2^2128,1629
D4:C4:87C22 = C2xD8:C4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:87C2^2128,1674
D4:C4:88C22 = C4xC8:C22φ: C22/C2C2 ⊆ Out D4:C432D4:C4:88C2^2128,1676
D4:C4:89C22 = C42.277C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4:89C2^2128,1680
D4:C4:90C22 = C2xC8:D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:90C2^2128,1783
D4:C4:91C22 = C2xC8:2D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4:91C2^2128,1784
D4:C4:92C22 = C24.110D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:92C2^2128,1786
D4:C4:93C22 = M4(2):16D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4:93C2^2128,1794
D4:C4:94C22 = C2xC42.29C22φ: C22/C2C2 ⊆ Out D4:C464D4:C4:94C2^2128,1865
D4:C4:95C22 = C42.366C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4:95C2^2128,1868
D4:C4:96C22 = C42.471C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4:96C2^2128,2054
D4:C4:97C22 = C2xC23.24D4φ: trivial image64D4:C4:97C2^2128,1624
D4:C4:98C22 = C2xC4xD8φ: trivial image64D4:C4:98C2^2128,1668
D4:C4:99C22 = C42.275C23φ: trivial image32D4:C4:99C2^2128,1678

Non-split extensions G=N.Q with N=D4:C4 and Q=C22
extensionφ:Q→Out NdρLabelID
D4:C4.1C22 = C42.268D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.1C2^2128,1942
D4:C4.2C22 = C42.409C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.2C2^2128,1955
D4:C4.3C22 = C42.278D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.3C2^2128,1958
D4:C4.4C22 = C42.284D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.4C2^2128,1964
D4:C4.5C22 = C42.293D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.5C2^2128,1977
D4:C4.6C22 = C42.295D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.6C2^2128,1979
D4:C4.7C22 = C42.296D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.7C2^2128,1980
D4:C4.8C22 = C42.25C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.8C2^2128,1990
D4:C4.9C22 = Q16:9D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.9C2^2128,2002
D4:C4.10C22 = SD16:11D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.10C2^2128,2016
D4:C4.11C22 = Q16:12D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.11C2^2128,2017
D4:C4.12C22 = C42.465C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.12C2^2128,2032
D4:C4.13C22 = C42.469C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.13C2^2128,2036
D4:C4.14C22 = C42.476C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.14C2^2128,2059
D4:C4.15C22 = C42.482C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.15C2^2128,2065
D4:C4.16C22 = C42.489C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.16C2^2128,2072
D4:C4.17C22 = Q8:4D8φ: C22/C1C22 ⊆ Out D4:C464D4:C4.17C2^2128,2090
D4:C4.18C22 = C42.502C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.18C2^2128,2093
D4:C4.19C22 = (C2xQ8):17D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.19C2^2128,1745
D4:C4.20C22 = C42.212D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.20C2^2128,1769
D4:C4.21C22 = C42.446D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.21C2^2128,1772
D4:C4.22C22 = C42.19C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.22C2^2128,1778
D4:C4.23C22 = C42.219D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.23C2^2128,1809
D4:C4.24C22 = C42.448D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.24C2^2128,1811
D4:C4.25C22 = C42.449D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.25C2^2128,1812
D4:C4.26C22 = C42.20C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4.26C2^2128,1813
D4:C4.27C22 = C42.22C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.27C2^2128,1815
D4:C4.28C22 = C42.23C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.28C2^2128,1816
D4:C4.29C22 = C42.228D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.29C2^2128,1842
D4:C4.30C22 = C42.229D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.30C2^2128,1843
D4:C4.31C22 = C42.230D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.31C2^2128,1844
D4:C4.32C22 = C42.233D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.32C2^2128,1847
D4:C4.33C22 = C42.234D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.33C2^2128,1848
D4:C4.34C22 = C42.235D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.34C2^2128,1849
D4:C4.35C22 = C42.353C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.35C2^2128,1851
D4:C4.36C22 = C42.354C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.36C2^2128,1852
D4:C4.37C22 = C42.357C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4.37C2^2128,1855
D4:C4.38C22 = C42.359C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.38C2^2128,1857
D4:C4.39C22 = C42.360C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.39C2^2128,1858
D4:C4.40C22 = C4.162+ 1+4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.40C2^2128,1933
D4:C4.41C22 = C4.182+ 1+4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.41C2^2128,1935
D4:C4.42C22 = C42.271D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.42C2^2128,1945
D4:C4.43C22 = C42.272D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.43C2^2128,1946
D4:C4.44C22 = C42.273D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.44C2^2128,1947
D4:C4.45C22 = C42.274D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.45C2^2128,1948
D4:C4.46C22 = C42.277D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.46C2^2128,1951
D4:C4.47C22 = C42.411C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.47C2^2128,1957
D4:C4.48C22 = C42.286D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.48C2^2128,1966
D4:C4.49C22 = C42.287D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.49C2^2128,1967
D4:C4.50C22 = C42.290D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.50C2^2128,1970
D4:C4.51C22 = C42.291D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.51C2^2128,1971
D4:C4.52C22 = C42.292D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.52C2^2128,1972
D4:C4.53C22 = C42.423C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.53C2^2128,1973
D4:C4.54C22 = C42.425C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.54C2^2128,1975
D4:C4.55C22 = C42.426C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.55C2^2128,1976
D4:C4.56C22 = C42.299D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.56C2^2128,1983
D4:C4.57C22 = C42.300D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.57C2^2128,1984
D4:C4.58C22 = C42.301D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.58C2^2128,1985
D4:C4.59C22 = C42.302D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.59C2^2128,1986
D4:C4.60C22 = C42.304D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.60C2^2128,1988
D4:C4.61C22 = C4.2- 1+4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.61C2^2128,1989
D4:C4.62C22 = C42.26C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.62C2^2128,1991
D4:C4.63C22 = C42.29C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.63C2^2128,1994
D4:C4.64C22 = SD16:6D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.64C2^2128,1998
D4:C4.65C22 = SD16:8D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.65C2^2128,2001
D4:C4.66C22 = Q16:10D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.66C2^2128,2003
D4:C4.67C22 = Q16:4D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.67C2^2128,2009
D4:C4.68C22 = Q16:5D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.68C2^2128,2010
D4:C4.69C22 = C42.43C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.69C2^2128,2040
D4:C4.70C22 = C42.44C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.70C2^2128,2041
D4:C4.71C22 = C42.48C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.71C2^2128,2045
D4:C4.72C22 = C42.49C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4.72C2^2128,2046
D4:C4.73C22 = C42.51C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.73C2^2128,2048
D4:C4.74C22 = C42.52C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.74C2^2128,2049
D4:C4.75C22 = C42.56C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.75C2^2128,2053
D4:C4.76C22 = C42.479C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.76C2^2128,2062
D4:C4.77C22 = C42.480C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.77C2^2128,2063
D4:C4.78C22 = C42.57C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.78C2^2128,2075
D4:C4.79C22 = C42.59C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.79C2^2128,2077
D4:C4.80C22 = C42.60C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.80C2^2128,2078
D4:C4.81C22 = C42.61C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.81C2^2128,2079
D4:C4.82C22 = C42.62C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.82C2^2128,2080
D4:C4.83C22 = C42.64C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.83C2^2128,2082
D4:C4.84C22 = C42.494C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.84C2^2128,2085
D4:C4.85C22 = C42.495C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.85C2^2128,2086
D4:C4.86C22 = C42.496C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.86C2^2128,2087
D4:C4.87C22 = C42.507C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.87C2^2128,2098
D4:C4.88C22 = C42.509C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.88C2^2128,2100
D4:C4.89C22 = C42.514C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.89C2^2128,2105
D4:C4.90C22 = C42.516C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.90C2^2128,2107
D4:C4.91C22 = C42.517C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.91C2^2128,2108
D4:C4.92C22 = C42.518C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.92C2^2128,2109
D4:C4.93C22 = D8:4Q8φ: C22/C1C22 ⊆ Out D4:C464D4:C4.93C2^2128,2116
D4:C4.94C22 = SD16:Q8φ: C22/C1C22 ⊆ Out D4:C464D4:C4.94C2^2128,2117
D4:C4.95C22 = SD16:2Q8φ: C22/C1C22 ⊆ Out D4:C464D4:C4.95C2^2128,2118
D4:C4.96C22 = SD16:3Q8φ: C22/C1C22 ⊆ Out D4:C464D4:C4.96C2^2128,2120
D4:C4.97C22 = D8:5Q8φ: C22/C1C22 ⊆ Out D4:C464D4:C4.97C2^2128,2121
D4:C4.98C22 = C42.72C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.98C2^2128,2129
D4:C4.99C22 = C42.74C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.99C2^2128,2131
D4:C4.100C22 = C42.75C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.100C2^2128,2132
D4:C4.101C22 = C42.531C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.101C2^2128,2133
D4:C4.102C22 = C42.532C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.102C2^2128,2134
D4:C4.103C22 = C42.533C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.103C2^2128,2135
D4:C4.104C22 = C4.152+ 1+4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.104C2^2128,1932
D4:C4.105C22 = C4.192+ 1+4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.105C2^2128,1936
D4:C4.106C22 = C42.265D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.106C2^2128,1939
D4:C4.107C22 = C42.269D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.107C2^2128,1943
D4:C4.108C22 = C42.270D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.108C2^2128,1944
D4:C4.109C22 = C42.407C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.109C2^2128,1953
D4:C4.110C22 = C42.279D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.110C2^2128,1959
D4:C4.111C22 = C42.280D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.111C2^2128,1960
D4:C4.112C22 = C42.285D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.112C2^2128,1965
D4:C4.113C22 = C42.294D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.113C2^2128,1978
D4:C4.114C22 = C42.298D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.114C2^2128,1982
D4:C4.115C22 = C42.27C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.115C2^2128,1992
D4:C4.116C22 = C42.30C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.116C2^2128,1995
D4:C4.117C22 = Q16:13D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.117C2^2128,2019
D4:C4.118C22 = C42.461C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4.118C2^2128,2028
D4:C4.119C22 = C42.466C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.119C2^2128,2033
D4:C4.120C22 = C42.470C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.120C2^2128,2037
D4:C4.121C22 = C42.472C23φ: C22/C1C22 ⊆ Out D4:C432D4:C4.121C2^2128,2055
D4:C4.122C22 = C42.475C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.122C2^2128,2058
D4:C4.123C22 = C42.481C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.123C2^2128,2064
D4:C4.124C22 = D4:9SD16φ: C22/C1C22 ⊆ Out D4:C464D4:C4.124C2^2128,2067
D4:C4.125C22 = C42.488C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.125C2^2128,2071
D4:C4.126C22 = C42.490C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.126C2^2128,2073
D4:C4.127C22 = Q8:8SD16φ: C22/C1C22 ⊆ Out D4:C464D4:C4.127C2^2128,2094
D4:C4.128C22 = C42.506C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.128C2^2128,2097
D4:C4.129C22 = (C2xC8):11D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.129C2^2128,1789
D4:C4.130C22 = (C2xC8):13D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.130C2^2128,1792
D4:C4.131C22 = (C2xC8):14D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.131C2^2128,1793
D4:C4.132C22 = C42.367C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.132C2^2128,1869
D4:C4.133C22 = C42.242D4φ: C22/C1C22 ⊆ Out D4:C432D4:C4.133C2^2128,1872
D4:C4.134C22 = C42.243D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.134C2^2128,1873
D4:C4.135C22 = C42.244D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.135C2^2128,1874
D4:C4.136C22 = C42.257D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.136C2^2128,1912
D4:C4.137C22 = C42.258D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.137C2^2128,1913
D4:C4.138C22 = C42.259D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.138C2^2128,1914
D4:C4.139C22 = C42.260D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.139C2^2128,1915
D4:C4.140C22 = C42.261D4φ: C22/C1C22 ⊆ Out D4:C464D4:C4.140C2^2128,1916
D4:C4.141C22 = C42.55C23φ: C22/C1C22 ⊆ Out D4:C464D4:C4.141C2^2128,2052
D4:C4.142C22 = M4(2):17D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.142C2^2128,1795
D4:C4.143C22 = C2xC42.78C22φ: C22/C2C2 ⊆ Out D4:C464D4:C4.143C2^2128,1862
D4:C4.144C22 = C42.355D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.144C2^2128,1863
D4:C4.145C22 = C42.365D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.145C2^2128,1899
D4:C4.146C22 = C42.308D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.146C2^2128,1900
D4:C4.147C22 = C42.366D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.147C2^2128,1901
D4:C4.148C22 = C42.390C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.148C2^2128,1910
D4:C4.149C22 = C42.391C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.149C2^2128,1911
D4:C4.150C22 = D4:8SD16φ: C22/C2C2 ⊆ Out D4:C464D4:C4.150C2^2128,2030
D4:C4.151C22 = C42.501C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.151C2^2128,2092
D4:C4.152C22 = C42.505C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.152C2^2128,2096
D4:C4.153C22 = Q8.(C2xD4)φ: C22/C2C2 ⊆ Out D4:C464D4:C4.153C2^2128,1743
D4:C4.154C22 = C2xQ8.D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.154C2^2128,1766
D4:C4.155C22 = C42.443D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.155C2^2128,1767
D4:C4.156C22 = C42.17C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.156C2^2128,1776
D4:C4.157C22 = C2xD4:Q8φ: C22/C2C2 ⊆ Out D4:C464D4:C4.157C2^2128,1802
D4:C4.158C22 = C42.447D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.158C2^2128,1808
D4:C4.159C22 = (C2xD4).303D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.159C2^2128,1830
D4:C4.160C22 = C42.384D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.160C2^2128,1834
D4:C4.161C22 = C42.451D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.161C2^2128,1839
D4:C4.162C22 = C42.226D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.162C2^2128,1840
D4:C4.163C22 = C42.355C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.163C2^2128,1853
D4:C4.164C22 = C42.358C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.164C2^2128,1856
D4:C4.165C22 = SD16:3D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.165C2^2128,2008
D4:C4.166C22 = D8:13D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.166C2^2128,2015
D4:C4.167C22 = C42.467C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.167C2^2128,2034
D4:C4.168C22 = C42.50C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.168C2^2128,2047
D4:C4.169C22 = D4:5D8φ: C22/C2C2 ⊆ Out D4:C464D4:C4.169C2^2128,2066
D4:C4.170C22 = C42.486C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.170C2^2128,2069
D4:C4.171C22 = C42.498C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.171C2^2128,2089
D4:C4.172C22 = Q8xD8φ: C22/C2C2 ⊆ Out D4:C464D4:C4.172C2^2128,2110
D4:C4.173C22 = SD16:4Q8φ: C22/C2C2 ⊆ Out D4:C464D4:C4.173C2^2128,2113
D4:C4.174C22 = Q8:5D8φ: C22/C2C2 ⊆ Out D4:C464D4:C4.174C2^2128,2123
D4:C4.175C22 = C42.527C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.175C2^2128,2125
D4:C4.176C22 = C42.528C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.176C2^2128,2126
D4:C4.177C22 = C42.73C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.177C2^2128,2130
D4:C4.178C22 = C2xD4:2Q8φ: C22/C2C2 ⊆ Out D4:C464D4:C4.178C2^2128,1803
D4:C4.179C22 = C2xD4.Q8φ: C22/C2C2 ⊆ Out D4:C464D4:C4.179C2^2128,1804
D4:C4.180C22 = (C2xD4).301D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4.180C2^2128,1828
D4:C4.181C22 = (C2xD4).304D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.181C2^2128,1831
D4:C4.182C22 = C42.222D4φ: C22/C2C2 ⊆ Out D4:C432D4:C4.182C2^2128,1833
D4:C4.183C22 = C42.223D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.183C2^2128,1835
D4:C4.184C22 = C42.450D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.184C2^2128,1838
D4:C4.185C22 = C42.468C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.185C2^2128,2035
D4:C4.186C22 = C42.42C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.186C2^2128,2039
D4:C4.187C22 = C42.46C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4.187C2^2128,2043
D4:C4.188C22 = C42.492C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.188C2^2128,2083
D4:C4.189C22 = Q8xSD16φ: C22/C2C2 ⊆ Out D4:C464D4:C4.189C2^2128,2111
D4:C4.190C22 = D8:6Q8φ: C22/C2C2 ⊆ Out D4:C464D4:C4.190C2^2128,2112
D4:C4.191C22 = Q8:9SD16φ: C22/C2C2 ⊆ Out D4:C464D4:C4.191C2^2128,2124
D4:C4.192C22 = C42.530C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.192C2^2128,2128
D4:C4.193C22 = 2- 1+4:4C4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.193C2^2128,1630
D4:C4.194C22 = C2xSD16:C4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.194C2^2128,1672
D4:C4.195C22 = C42.383D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.195C2^2128,1675
D4:C4.196C22 = C4xC8.C22φ: C22/C2C2 ⊆ Out D4:C464D4:C4.196C2^2128,1677
D4:C4.197C22 = C42.278C23φ: C22/C2C2 ⊆ Out D4:C432D4:C4.197C2^2128,1681
D4:C4.198C22 = C42.280C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.198C2^2128,1683
D4:C4.199C22 = C42.281C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.199C2^2128,1684
D4:C4.200C22 = C2xC42.28C22φ: C22/C2C2 ⊆ Out D4:C464D4:C4.200C2^2128,1864
D4:C4.201C22 = C42.239D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.201C2^2128,1867
D4:C4.202C22 = C42.255D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.202C2^2128,1903
D4:C4.203C22 = C42.256D4φ: C22/C2C2 ⊆ Out D4:C464D4:C4.203C2^2128,1904
D4:C4.204C22 = C42.385C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.204C2^2128,1905
D4:C4.205C22 = C42.386C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.205C2^2128,1906
D4:C4.206C22 = C42.387C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.206C2^2128,1907
D4:C4.207C22 = C42.388C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.207C2^2128,1908
D4:C4.208C22 = C42.478C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.208C2^2128,2061
D4:C4.209C22 = C42.508C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.209C2^2128,2099
D4:C4.210C22 = C42.510C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.210C2^2128,2101
D4:C4.211C22 = C42.511C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.211C2^2128,2102
D4:C4.212C22 = C42.512C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.212C2^2128,2103
D4:C4.213C22 = C42.513C23φ: C22/C2C2 ⊆ Out D4:C464D4:C4.213C2^2128,2104
D4:C4.214C22 = C2xC4xSD16φ: trivial image64D4:C4.214C2^2128,1669
D4:C4.215C22 = C4xC4oD8φ: trivial image64D4:C4.215C2^2128,1671
D4:C4.216C22 = C42.276C23φ: trivial image64D4:C4.216C2^2128,1679
D4:C4.217C22 = Q8:7SD16φ: trivial image64D4:C4.217C2^2128,2091

׿
x
:
Z
F
o
wr
Q
<